Buy Used and New Nadia Polikarpova Books

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings: 10510 (Lecture Notes in Computer Science)

by Nadia Polikarpova,Steve Schneider

ISBN 13: 9783319668444

Format: Paperback (460 pages)
Publisher: Springer
Published: 27 Aug 2017

Save for later

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... (Lecture Notes in Computer Science, 12549)

by Maria Christakis,Nadia Polikarpova,Parasara Sridhar Duggirala,Peter Schrammel

ISBN 13: 9783030636173

Format: Paperback (265 pages)
Publisher: Springer
Published: 06 Dec 2020

Save for later